This book is a philosophical commentary on Schopenhauer's "Fourfold Root of the Principle of Sufficient Reason," dealing with each of Schopenhauer's principal ...

Towards the close of Book V of theRepublicPlato tells us that the true philosopher has knowledge and that the objects of knowledge are the Forms. By contrast, the ‘lovers of sights and sounds’, he tells us, have no more than belief, the objects of which are physical particulars. He then goes on to present us with some very radical-sounding assertions about the nature of these physical particulars. They are bearers of opposite properties, he says, in so thorough-going a manner that (...) we cannot say of them that they are nor that they are not: they lie somewhere between being and utter non-being.This passage of theRepublic still awaits an agreed interpretation and I want to suggest as a reason for this that it is usually interpreted in isolation. I will argue that it becomes easier to understand when seen against the background of Plato's developing thought. To be more precise, it makes sense when taken as a rejection by Plato of one of his earlier beliefs: namely, a doctrine of essentialism to be found in thePhaedo.The greater part of this paper then will be an attempt to show thatRepublicV is a rejection of thePhaedo'sdoctrine of essences. Its concluding part will try to explain why that doctrine was rejected. (shrink)

In 1925, while transcribing and painting in his Red Book, C. G. Jung presented a series of seminars in English in which he spoke for the first time in public about his early spiritualistic experiences, his encounter with Freud, the genesis of his psychology, and the self-experimentation he called his "confrontation with the unconscious," describing in detail a number of pivotal dreams and fantasies. He then presented an introductory overview of his ideas about psychological typology and the archetypes of the (...) collective unconscious, illustrated with case material and discussions concerning contemporary art. He focused particularly on the contra-sexual elements of the personality, the anima and the animus, which he discussed with the participants through psychological analyses of popular novels, such as Rider Haggard's She. The notes from these seminars form the only reliable published autobiographical account by Jung and the clearest and most important account of the development of his work. This revised edition features additional annotations, information from the Red Book, and an introduction by Sonu Shamdasani, Philemon Professor of Jung History at University College London. (shrink)

Originally published in 1954, this is the first full-length account of the history of the Working Men’s College in St.Pancras, London. One hundred and fifty years on from its foundation in 1854, it is the oldest adult educational institute in the country. Self-governing and self-financing, it is a rich part of London’s social history. The college stands out as a distinctive monument of the voluntary social service founded by the Victorians, unchanged in all its essentials yet adapting itself to the (...) demands of each generation of students and finding voluntary and unpaid teachers to continue its tradition. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)